﻿/*
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using AutomaTones.Model.Automaton_Model;
using AutomaTones.Model.Automaton_Model.RuleLib;
using Microsoft.Pex.Framework;

namespace AutomaTones {
    /// <author>Anders Øland / anoe@itu.dk</author>
    /// <summary>
    /// Test scenarios for the Wolfram automaton.
    /// Most relevant usages should be covered by the tests. 
    /// </summary>
    [PexClass]
    partial class WolframTestScenario {
        [PexMethod(MaxBranches = 1500000)]
        public void TestWolframCA() {
            WolframAutomata.NewPatternRule(WolframAutomata.WolframCode(90), 2);
            WolframAutomata.NewPatternRule(new[] { 0, 1, 1, 0, 0, 1, 1, 1, 1 }, 2);
            WolframAutomata.NewWolframAutomaton(8, 90, 2);
            CellularAutomaton w = WolframAutomata.NewPatternAutomaton(16, new[] { 0, 1, 1, 0, 0, 1, 1, 1, 1 },
                            new[] { 0, 1, 1 }, 3, 2);
            for (int i = 0; i < 100; i++) {
                w.Evolve();
            }
        }
    }
}
*/
